Abstract model theory - PDFSEARCH.IO - Document Search Engine

Abstract model theory
Results: 937

#	Item
231	A Bayesian Framework for Word Segmentation: Exploring the Effects of Context Sharon Goldwater, Thomas L. Griffiths, and Mark Johnson Preprint for publication in Cognition Abstract Since the experiments of Saffran et al. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2009-04-05 12:11:22 Statistical inference Statistical theory Estimation theory Bayesian statistics N-gram Language model Language acquisition Minimum description length Bayesian inference Statistics Science Probability and statistics
232	Utilizing Static Analysis for Programmable Logic Controllers S´ebastien Bornot Ralf Huuck † Ben Lukoschus Lehrstuhl f¨ur Softwaretechnologie Universit¨at Kiel Preußerstraße 1–9, DKiel, Germany seb rhu bls Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2014-09-25 05:57:33 Data types Type theory Theoretical computer science Program analysis Programming language implementation Abstract interpretation Type system Model checking Programming language Software engineering Computing Computer programming
233	Research in Business and Economics Journal Fear appeal theory Kaylene C. Williams California State University, Stanislaus ABSTRACT Add to Reading List Source URL: www.aabri.com Language: English - Date: 2011-09-11 11:11:43 Anxiety Attitude change Fear Human behavior Fear appeals Protection Motivation Theory Extended Parallel Process Model Attitude Situational theory of publics Mind Behavior Emotions
234	Heuristics and Symmetries in Classical Planning Alexander Shleyfman Michael Katz Technion, Haifa, Israel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-12-03 11:40:58 Physics Abstract algebra Permutation Symmetry Model theory Theoretical physics Orbifold Combinatorics Differential geometry Mathematics
235	Gossiping in a Multi-Channel Radio Network An Oblivious Approach to Coping with Malicious Interference (Extended Abstract) Shlomi Dolev1 , Seth Gilbert2 , Rachid Guerraoui3 , and Calvin Newport4 1 Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2007-09-28 06:21:17 Analysis of algorithms NP-complete problems Adversary model Gossip protocol Clique Time complexity Algorithm Theoretical computer science Applied mathematics Computational complexity theory
236	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
237	Application of Learning Styles in a Model Based on Ontology: SIMBAD Rojas Javier, Defude Bruno Telecom SudParis, Evry, France , Abstract The developments of applic Add to Reading List Source URL: linc.mit.edu Language: English - Date: 2014-07-24 17:07:21 Technical communication Data management Learning theory E-learning Learning styles Learning object Usability Data model Education Educational psychology Educational technology
238	A Realizability Model for a Semantical Value Restriction Rodolphe Lepigre Laboratoire de Math´ematiques, UMR 5127 CNRS Universit´e Savoie Mont-BlancLe Bourget-du-Lac, France Add to Reading List Source URL: lepigre.fr Language: English - Date: 2015-03-20 16:12:30 Proof theory Symbol Curry–Howard correspondence Valuation Lambda calculus Natural deduction Μ operator Mathematics Theoretical computer science Abstract algebra
239	Independence and Concurrent Separation Logic Jonathan Hayman and Glynn Winskel Computer Laboratory, University of Cambridge Abstract A compositional Petri net based semantics is given to a simple pointer-manipulating lan Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2006-05-30 05:29:39 Petri net Models of computation Symbol Model theory
240	CCCG 2010, Winnipeg MB, August 9–11, 2010 New Variations of the Reverse Facility Location Problem Bhaswar B. Bhattacharya∗ Abstract Add to Reading List Source URL: cccg.ca Language: English - Date: 2010-07-19 10:46:19 Operations research Facility location Decision tree model Analysis of algorithms Reduction Theoretical computer science Computational complexity theory Applied mathematics

UPDATE